Logic programming - PDFSEARCH.IO - Document Search Engine

Logic programming
Results: 2694

#	Item
951	InfoSpect: Using a Logic Language for System Health Monitoring in Distributed Systems Timothy Roscoe Intel Research – Berkeley Richard Mortier Microsoft Research – Cambridge Add to Reading List Source URL: www.planet-lab.org Language: English - Date: 2009-06-12 12:01:20 Reasoning Prolog Domain name system Nmap Knowledge representation and reasoning Peer-to-peer Microsoft SQL Server Logic programming Port scanner Computing Software Programming paradigms
952	A Consistency-Based Framework for Merging Knowledge Bases James P. Delgrande ∗ School of Computing Science, Simon Fraser University , Burnaby, B.C., Canada V5A 1S6 Torsten Schaub 1 Add to Reading List Source URL: www.cs.sfu.ca Language: English - Date: 2006-11-29 16:24:28 Belief revision Model theory Semantics Constructible universe Interpretation Symbol Entailment Logic Logic programming Knowledge representation
953	Transaction Logic with Defaults and Argumentation Theories ∗ Paul Fodor and Michael Kifer Stony Brook University Stony Brook, NY 11794, USA pfodor, Add to Reading List Source URL: silk.semwebcentral.org Language: English - Date: 2011-05-19 13:21:42 Mathematical logic Formal languages Knowledge representation Epistemology Model theory Literal Interpretation Term algebra Fluent Logic Logic programming Mathematics
954	Innovative Idea Poster – AAAE, 2014 A Logic Model for Agricultural Literacy Programming Debra M. Spielmaker, Associate Professor School of Applied Sciences, Technology & Education Add to Reading List Source URL: www.agclassroom.org Language: English - Date: 2015-02-05 22:14:49 Academia Agriculture in the classroom Education in the United States United States Department of Agriculture Logic model Norman Borlaug Agricultural education Agriculture Program evaluation Science Evaluation methods Evaluation
955	RT : A Role-based Trust-management Framework∗ Ninghui Li John C. Mitchell Department of Computer Science, Stanford University Gates 4B, Stanford, CA {ninghui.li, mitchell}@cs.stanford.edu Add to Reading List Source URL: theory.stanford.edu Language: English - Date: 2003-11-04 15:32:03 Computer security Constraint programming Datalog Cryptography Role-based access control Credential Digital credential Trust negotiation Constraint logic programming Security Identity management Access control
956	Microsoft PowerPoint - talk-v6.ppt Add to Reading List Source URL: silk.semwebcentral.org Language: English - Date: 2009-07-10 16:09:48 Artificial intelligence Logic programming Epistemology Logic Critical thinking Defeasible reasoning Defeasible logic Argumentation theory Argument Science Knowledge Reasoning
957	CS109A Notes for LectureRecursive Denition of Expressions Expressions with binary operators can be dened as follows. Basis: An operand is an expression. Add to Reading List Source URL: infolab.stanford.edu Language: English - Date: 2008-09-19 00:57:50 Computing Theoretical computer science Programming idioms Mathematical notation Mathematical proofs Operand Mathematical induction Recursion Inductive reasoning Mathematics Computer programming Mathematical logic
958	Optimisation, Games, Adaptation: Three Perspectives on Operations Research for Counter-IED Add to Reading List Source URL: dodccrp.org Language: English - Date: 2012-10-03 12:15:00 Mathematical optimization Bombs Explosives Improvised explosive device Joint Improvised Explosive Device Defeat Organization Strategic dominance Nash equilibrium Genetic programming Counter-insurgency Logic Game theory Science
959	Beyond Proof-of-compliance: Security Analysis in Trust Management NINGHUI LI Purdue University JOHN C. MITCHELL Stanford University Add to Reading List Source URL: theory.stanford.edu Language: English - Date: 2007-12-17 01:15:33 Datalog Central Intelligence Agency ALGOL 68 Propositional calculus Mathematical logic Logic Programming language theory
960	On Computing Belief Change Operations using Quantified Boolean Formulas∗ Torsten Schaub† Institut f¨ur Informatik Universit¨at Potsdam Postfach Add to Reading List Source URL: www.cs.sfu.ca Language: English - Date: 2004-08-04 13:44:38 Formal languages Model theory Propositional calculus Logic programming Interpretation Principia Mathematica Belief revision First-order logic Constructible universe Logic Mathematics Mathematical logic